2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Fundamental Approaches to Software Engineering - FASE 2011
Автор:
Dimitra Giannakopoulou
, Автор:
Fernando Orejas
Размер книги: 6.81 Mb
Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Автор:
Hans-Jörg Kreowski
, Автор:
Ugo Montanari
, Автор:
Fernando Orejas
, Автор:
Grzegorz Rozenberg
, Автор:
Gabriele Taentzer
Размер книги: 5.14 Mb
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development
Автор:
Josep Diaz
, Автор:
Fernando Orejas
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.99 Mb
Recent Trends in Algebraic Development Techniques, 17 conf., WADT 2004
Автор:
José Luiz Fiadeiro
, Автор:
Peter Mosses
, Автор:
Fernando Orejas
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.83 Mb
Automata, Languages and Programming, 28 conf., ICALP 2001
Автор:
P.G. Spirakis
, Автор:
Fernando Orejas
, Автор:
Paul G. Spirakis
, Автор:
Jan van Leeuwen
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.24 Mb
Formal Methods in Software and Systems Modeling
Автор:
Hans-Jörg Kreowski
, Автор:
Ugo Montanari
, Автор:
Fernando Orejas
, Автор:
Grzegorz Rozenberg
, Автор:
Gabriele Taentzer
Категория:
CsLn_
Размер книги: 4.30 Mb
Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... Papers
Автор:
Hartmut Ehrig
, Автор:
Fernando Orejas
Размер книги: 3.84 Mb
